in this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. it would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. we give the main properties of the operations defined and prove som...

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

The Intuitionistic Fuzzy Sets (IFSs), proposed in 1983, are extensions of fuzzy sets. Some years after their introduction, sequentially, intuitionistic fuzzy propositional logic, intuitionistic fuzzy predicate logic, intuitionistic fuzzy modal logic and intuitionistic fuzzy temporal logic have been introduced, presented here shortly. During the last 25 years, different intuitionistic fuzzy tool...

There are many symmetries in intuitionistic fuzzifying topology. In the present paper, notion of topology as an extension and a preliminary research on bi-intuitionistic fuzzy is introduced. A theory with semantic method logic established.

In this paper, we present the interval neutrosophic logics which generalizes the fuzzy logic, paraconsistent logic, intuitionistic fuzzy logic and many other non-classical and non-standard logics. We will give the formal definition of interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. Then we give one application of interval neutrosophic logics to do appr...

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

It has been shown that from the purely mathematical viewpoint, the (traditional) intuitionistic fuzzy logic is equivalent to interval-valued fuzzy logic. In this paper, we show that if we go beyond the traditional “and”and “or”-operations, then intuitionistic fuzzy logic becomes more general than the interval-valued one.

In this paper one generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The differences between IFL and NL (and the corresponding intuitionistic fuzzy set and neutrosophic set) are pointed out.

In this paper one generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The differences between IFL and NL (and the corresponding intuitionistic fuzzy set and neutrosophic set) are pointed out.